supremum of a set infimum of a set supremum and infimum in real analysis supremum of (0